Gerard J. Holzmann
Results: 31
| # | Item |
|---|---|
31 | The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. HolzmannAdd to Reading ListSource URL: spinroot.comLanguage: English - Date: 2008-06-30 15:34:26 |
Gerard J. Holzmann
Results: 31
| # | Item |
|---|---|
| 31 | The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. HolzmannAdd to Reading ListSource URL: spinroot.comLanguage: English - Date: 2008-06-30 15:34:26 |